(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
نویسندگان
چکیده
Abstract We analyze the axiomatic strength of following theorem due to Rival and Sands [28] in style reverse mathematics. Every infinite partial order P finite width contains an chain C such that every element is either comparable with no or infinitely many elements . Our main results are following. The Rival–Sands for orders arbitrary equivalent $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ over {RCA}_0$ For each fixed $k \geq 3$ , $\leq \!k$ decomposable into union two chains {SADS}$ Here denotes recursive comprehension system, ^0_{2}$ $\Sigma ^0_2$ induction scheme, ascending/descending sequence principle, stable principle. To best our knowledge, these versions first examples theorems from general mathematics literature whose exactly characterized by Furthermore, we give a new purely combinatorial result extending do not have antichains, show this extension arithmetical
منابع مشابه
Equivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کاملExtraordinary claims require extraordinary evidence.
At the beginning of 2003, the Journal of Health Economics published a paper of great importance in public policy by DiMasi, Hansen, and Grabowski (referred to hereafter as “DHG 2003”). The paper is based primarily on confidential, proprietary data supplied by pharmaceutical companies to the Tufts Center for the Study of Drug Development, a research center that receives significant unrestricted ...
متن کاملExtraordinary claims require extraordinary evidence
We thank Light and Warburton (2005) [hereafter LW] for providing a context for us to further discuss and clarify our studies on the cost of new drug development (DiMasi et al., 2003 [hereafter DHG]; DiMasi et al., 1991b [hereafter DHGL]; Hansen, 1979). We disagree, however, with their analyses, comparators, and conclusions. Although LW suggest, through the invocation of selected reported cost f...
متن کاملOn Monoidal Equivalences and Ann-equivalences
The equivalence between a monoidal category and a strict one has been proved by some authors such as Nguyen Duy Thuan [8], Christian Kassel [2], Peter Schauenburg [7]. In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M -functors and M morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic chara...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2022
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2022.92